cmos_init(ram_size, boot_device, bs_table, timeoffset);
- /* using PIIX4 acpi model */
- if (pci_enabled && acpi_enabled)
- pci_piix4_acpi_init(pci_bus, piix3_devfn + 3);
-
if (pci_enabled && usb_enabled) {
usb_uhci_init(pci_bus, piix3_devfn + 2);
}
+ /* using PIIX4 acpi model */
+ if (pci_enabled && acpi_enabled)
+ pci_piix4_acpi_init(pci_bus, piix3_devfn + (usb_enabled ? 3 : 2));
+
#ifndef CONFIG_DM
if (pci_enabled && acpi_enabled) {
piix4_pm_init(pci_bus, piix3_devfn + 3);
PCIAcpiState *d;
uint8_t *pci_conf;
- /* register a function 3 of PIIX4 */
+ /* register a function devfn of PIIX4 */
d = (PCIAcpiState *)pci_register_device(
bus, "PIIX4 ACPI", sizeof(PCIAcpiState),
devfn, NULL, NULL);